$\forall$$n$:$\mathbb{Z}$. \{$n$$\ldots\,$\} $\in$ Type